Nuprl Definition : atom-deq
0,22
postcript
pdf
AtomDeq == <
a
,
b
.
a
=
b
Atom,TERMOF{
atom-deq-aux
:ObjectId, 1:l}>
latex
Definitions
atom-deq-aux
,
x
=
y
Atom
FDL editor aliases
atom-deq
origin
a,b. a=
b
Atom,TERMOF{atom-deq-aux:ObjectId, 1:l}> a,b. a=bAtom,TERMOF{atom-deq-aux:ObjectId, 1:l}> yAtom